---

inductive stepwise refinement

英 [ɪnˈdʌktɪv ˈstepwaɪz rɪˈfaɪnmənt] 美 [ɪnˈdʌktɪv ˈstepwaɪz rɪˈfaɪnmənt]

【计】归纳逐步求精

计算机

---

---